TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003) di Basin David; Wolff Burkhart - Bookdealer

TPHOLS 2003. Theorem proving in higher order logics. 16th International Conference (Rome, september 2003)

Autore: Basin David , Wolff Burkhart
Editore: Aracne
Isbn: 9788879995467
Categoria:
Numero pagine: 244
Data di Uscita: 30/11/1999

15,00 €

Recensioni dei Lettori

I librai consigliano anche

Mendelsohn Daniel

Un'Odissea. Un padre, un figlio e un'epopea

Consigliato da:
Cento Fiori

Punto Einaudi Reggio Emilia libreria indipendente

12,50 €

Sgardoli Guido

La trappola di Peppo. Supergatta. Ediz. a colori

Consigliato da:
Odusia Libreria

6,00 €

Cola Alberto

Il Club dei quattro Ronin. Nuova ediz.

Consigliato da:
AltriMondi - Libreria Bistrot e oltre

9,50 €

Felline Isabella Christina

Come sassi

Consigliato da:
Viale dei Ciliegi 17

12,50 €

Léon Christophe

Granpa'

Consigliato da:
Lotta libreria

9,90 €

Zinsser William

Scrivere bene

Consigliato da:
Libreria MT Cicerone

15,00 €

Choux Nathalie

La mia famiglia. Scorri e gioca. Ediz. illustrata

Consigliato da:
Odusia Libreria

9,90 €

Montgomery Lucy Maud

Anna dai capelli rossi

Consigliato da:
Civico14 Libreria

9,90 €

Hall Oakley

Warlock

Consigliato da:
Civico14 Libreria
Libreria Piccoli Labirinti

22,00 €

Jewell Lisa

Qualcuno ti guarda

Consigliato da:
L'Amico Ritrovato

19,00 €

Arriaga Guillermo

Salvare il fuoco

Consigliato da:
Libreria Gulliver

24,00 €

De Scisciolo Cristiano

Progettare e realizzare un sito web. Guida completa a User experience, CMS, SEO e e-commerce

Consigliato da:
Libreria Leggere

22,90 €

Bryant Kobe

The Mamba mentality. Il mio basket

Consigliato da:
Cartolibreria La Matita

25,00 €

Francesco (Jorge Mario Bergoglio); Spagnoli P. (cur.)

Il calendario di papa Francesco 2021

Consigliato da:
Libreria Antica Roma
Libreria MT Cicerone

9,90 €

Gaule Matteo; Facci Valentina

Cenerentola. Fiabe intagliate. Ediz. a colori

Consigliato da:
Libreria Antica Roma

14,90 €

Plauto T. Maccio; Gazzarri T. (cur.)

Poenulus-Truculentus. Testo latino a fronte

Consigliato da:
Libreria MT Cicerone

15,00 €

Fratepietro Stefano

Non è un libro per hacker. Cyber security e digital forensics raccontate dal punto di vista dell'analista

Consigliato da:
Libreria Albatros

24,00 €

Ali Farah Ubah Cristina

Le stazioni della luna

Consigliato da:
Lunaria, la libreria di Gammazita

16,00 €

Calvino Italo; Barenghi M. (cur.)

Il sentiero dei nidi di ragno. Con il racconto inedito Flirt prima di battersi

Consigliato da:
Lotta libreria

13,50 €

Fragnito Gigliola

La Sanseverino. Giochi erotici e congiure nell'Italia della Controriforma

Consigliato da:
Libreria Claudiana Firenze

24,00 €

Saint-Exupéry Antoine de

Il Piccolo Principe. Ediz. speciale

Consigliato da:
AltriMondi - Libreria Bistrot e oltre

12,00 €

Pennant Cass

Congratulazioni. Hai appena incontrato la I.C.F. (West Ham United)

Consigliato da:
Libreria Les Mots

12,00 €

Manguso Sarah

Sottovoce

Consigliato da:
La Libreria di Metallia

13,00 €

Kant Immanuel; Habermas Jürgen; Foucault Michel; Curi U. (cur.)

Che cos'è l'illuminismo

Consigliato da:
Antico Caffè San Marco - libreria e ristorante

10,00 €

Ungerer Tomi

I tre briganti. Ediz. a colori. Con DVD: Tiffany e i tre briganti

Consigliato da:
Pel di carota

18,60 €

Lowry Lois

The giver. Il messaggero

Consigliato da:
Per Filo e per Segno - Libreria per ragazzi

14,90 €

Oggero Margherita

La ragazza di fronte

Consigliato da:
AltriMondi - Libreria Bistrot e oltre

11,50 €

Catarsi Giancarlo

Citroën DS

Consigliato da:
Libreria MT Cicerone

28,00 €

Pirenne Henri

Le città del Medioevo

Consigliato da:
Libreria MT Cicerone

11,00 €

Doniger W. (cur.); Kakar S. (cur.)

Kamasutra

Consigliato da:
Libreria Alfani Editrice

16,00 €